|
SCADE KCG（代码生成器）
综上所述，利用SCADE可以根据需求建立模型、然后通过静态分析保证模型的完整性和一致性、再可以通过模拟仿真保证模型的正确性、最后还可以通过形式验证保证模型的安全性。通过这一系列的操作以后，我们得到了一个完美的模型，已经在开发的早期，也就是在设计阶段就已经把可能的错误都已经排除掉了。
SCADE的代码生成器是指以这个完美的模型为基础，生成出完美的代码。它生成的代码满足一系列的安全性特征，具有良好的可读性和友好的接口，和手写代码具有基本相当的大小和效率。
和其它的许多代码生成器相比，SCADE代码生成有两个显著的特点。第一，SCADE所生成的代码是完全面向工程的产品代码，可以直接嵌入到产品中去而不需要做任何修改。第二，SCADE基于严格的数据理论，它保证代码运行的结果和仿真的结果完全一致。
KCG是目前世界上唯一通过了DO-178B这一严格标准的A级质量认证的代码生成器。它也是唯一通过了IEC61508标准质量认证的代码生成器，支持MISRA等标准。它的使用不仅大大节省了编码工作，而且生成的代码的无需单元测试，很大程度地节省了验证工作和验证时间。基于SCADE KCG的开发流程已被相关认证机构广泛接受，在空客、欧洲直升机、达索等众多用户的多个项目得到大量应用，并通过了DO-178B认证。KCG还是唯一通过了IEC 61508认证的代码生成器。
|
